PFA and $$\omega_1$$-free compact spaces
نویسندگان
چکیده
The Proper Forcing Axiom implies that compact Hausdorff spaces are either first-countable or contain a converging $$\omega_1$$ -sequence.
منابع مشابه
PFA(S)[S] and countably compact spaces
We show a number of undecidable assertions concerning countably compact spaces hold under PFA(S)[S]. We also show the consistency without large cardinals of every locally compact, perfectly normal space is paracompact.
متن کاملPFA(S)[S] and Locally Compact Normal Spaces
We examine locally compact normal spaces in models of form PFA(S)[S], in particular characterizing paracompact, countably tight ones as those which include no perfect pre-image of ω1 and in which all separable closed subspaces are Lindelöf.
متن کاملThe structure theory of T 5 and related locally compact , locally connected spaces under the PFA and PFA ( S ) [ S ]
A detailed structure theorem is shown for locally compact, locally connected, hereditarily normal spaces and for normal, locally compact, locally connected, hereditarily ω1-scwH spaces in models of PFA(S)[S], and for the latter kinds of spaces in models of PFA. Corollaries include a powerful refinement theorem like that for monotonically normal spaces, and the corollary that the spaces involved...
متن کاملFuzzifying Strongly Compact Spaces and Fuzzifying Locally Strongly Compact Spaces
In this paper, some characterizations of fuzzifying strong compactness are given, including characterizations in terms of nets and pre -subbases. Several characterizations of locally strong compactness in the framework of fuzzifying topology are introduced and the mapping theorems are obtained.
متن کاملA point-free characterisation of Bishop locally compact metric spaces
We give a characterisation of Bishop locally compact metric spaces in terms of formal topology. To this end, we introduce the notion of inhabited enumerably locally compact regular formal topology, and show that the category of Bishop locally compact metric spaces is equivalent to the full subcategory of formal topologies consisting of those objects which are isomorphic to some inhabited enumer...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Mathematica Hungarica
سال: 2022
ISSN: ['0001-5954', '0236-5294', '1588-2632']
DOI: https://doi.org/10.1007/s10474-021-01197-9